Metadata for a wiki of formalized mathematics
نویسنده
چکیده
In recent years wikis for formal mathematics have appeared. Formal mathematics presents a number of challenges for the wiki perspective. To enhance the quality of the data in these wikis from the perspective of information architecture, we propose some extensions of existing formal mathematics wikis to more properly handle metadata.
منابع مشابه
Ideas for a MathWiki Editor
We present some functional and non-functional requirements and wishes for a web-based editor for formalized mathematics, in particular for use in the MathWiki project at RU Nijmegen [13]. We discuss possible implementation alternatives, and argue for a holistic design of the entire wiki with editor features in mind.
متن کاملCooperative repositories for formal proofs - A wiki-based solution
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable version of their work. We describe a prototype based on Coq, its web interface as implemented by the second author, and a modified version of the MediaWiki code-base. We discuss open issues such as dependencies and re...
متن کاملPoint-and-Write - Documenting Formal Mathematics by Reference
This paper describes the design and implementation of mechanisms for light-weight inclusion of formal mathematics in informal mathematical writings, particularly in a Web-based setting. This is conceptually done in three stages: (i) by choosing a suitable representation layer (based on RDF) for encoding the information about available resources of formal mathematics, (ii) by exporting this info...
متن کاملFacilitating Model Reuse and Integration in an Urban Energy Simulation Platform
The need for more sustainable, liveable and resilient cities demands improved methods for studying urban infrastructures as integrated wholes. Progress in this direction would be aided by the ability to effectively reuse and integrate existing computational models of urban systems. Building on the concept of multi-model ecologies, this paper describes ongoing efforts to facilitate model reuse a...
متن کاملCollaborative Tasks using Metadata Conglomerates – The Social Part of the Semantic Desktop
This paper presents an application that enables loose and ad-hoc task collaboration for knowledge work and explicitly integrates task metadata into the collaboration process. With the increasing availability of semantic desktop technology, knowledge workers (KWers) can organize their personal information in a formalized way, including tasks. In an organization, KWers need to collaboratively acc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011